1. An introduction to Godel's Theorems
پدیدآورنده : Smith, Peter, 5391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel numbers,، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
65
.
S64I5
2. An introduction to Godel's Theorems
پدیدآورنده : Smith, Peter, 5391-
کتابخانه: Library of Document Center and Great Islamic Encyclopedia Center (Tehran)
موضوع : ، Godel numbers,، Godel, Kurt, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA9
.
65
.
S6
2007
